windowManager: Remove unused property

The last commit removed the only code that set _blockAnimations,
so stop reading it as well.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/620

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 9322569f75a25d58cbeb35306647cb5c4dc5bc0b..3b843a636cc10a08b938b429785c711139536530 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1241,7 +1241,7 @@ var WindowManager = class {
     }
 
     _shouldAnimate() {
-        return !(Main.overview.visible || this._blockAnimations);
+        return !Main.overview.visible;
     }
 
     _shouldAnimateActor(actor, types) {